/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package compilador.AnalisadorSintatico;


import compilador.AnalisadorLexico.Atomo;
import compilador.AnalisadorSemantico.GeracaoDeCodigo.TiposAS;

/**
 *
 * @author Leles
 */
public class SM_CMD_If extends SubMaquina {

    private enum Estados {
        ESPERA_IF, ESPERA_COND, ESPERA_THEN, ESPERA_LISTACMD, 
        ESPERA_END_OU_ELSE, ELSE_ESPERA_LISTACMD,
        ESPERA_END, ESPERA_IF_FIM,
        ACEITA
    };
    
    SM_CMD_If() {
        estadoInicial = Estados.ESPERA_IF.ordinal();
        estadoFinal = Estados.ACEITA.ordinal();
        
        defineTabelaTransicao();    
    }
    
    
    private void defineTabelaTransicao (){
        /* Tabela com as Transicao
         * A maior parte das posicoes de memoria sao vazias
         * Funciona assim:  o primeiro indice indica o ESTADO ATUAL
         *                  o segundo  indice indica o ATOMO LIDO
         * Transicao DE SUBMAQUINA:
         * também passam um estado, o estado da volta
         * Ele é chamado na funcao, depois do retorno da submaquina
         * assim não é necessaria uma pilha explicita
         */
        
        numEstados = Estados.class.getEnumConstants().length;
        numAtomos = Atomo.TokenType.class.getEnumConstants().length;
        
        Tabela_Decisao = new Transicao [numEstados][numAtomos];
        
        // Transicao SUB MAQUINA IF
        Tabela_Decisao 
                [Estados.ESPERA_IF.ordinal()]
                [Atomo.TokenType.IF.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_COND.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA);
        Tabela_Decisao 
                [Estados.ESPERA_COND.ordinal()]
                [Atomo.TokenType.TRANSICAO_VAZIA.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.SubMaquina, 
                                Estados.ESPERA_THEN.ordinal(), 
                                SM_Condicao.class,
                                TiposAS.ACAO_NENHUMA);
        Tabela_Decisao 
                [Estados.ESPERA_THEN.ordinal()]
                [Atomo.TokenType.THEN.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_LISTACMD.ordinal(), 
                                null,
                                TiposAS.IF_THEN);
        Tabela_Decisao 
                [Estados.ESPERA_LISTACMD.ordinal()]
                [Atomo.TokenType.TRANSICAO_VAZIA.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.SubMaquina, 
                                Estados.ESPERA_END_OU_ELSE.ordinal(), 
                                SM_Comandos.class,
                                TiposAS.ACAO_NENHUMA);
        Tabela_Decisao 
                [Estados.ESPERA_END_OU_ELSE.ordinal()]
                [Atomo.TokenType.ELSE.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ELSE_ESPERA_LISTACMD.ordinal(), 
                                null,
                                TiposAS.IF_ELSE);
        Tabela_Decisao 
                [Estados.ESPERA_END_OU_ELSE.ordinal()]
                [Atomo.TokenType.END.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_IF_FIM.ordinal(), 
                                null,
                                TiposAS.IF_END_NOELSE);
        Tabela_Decisao 
                [Estados.ELSE_ESPERA_LISTACMD.ordinal()]
                [Atomo.TokenType.TRANSICAO_VAZIA.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.SubMaquina, 
                                Estados.ESPERA_END.ordinal(), 
                                SM_Comandos.class,
                                TiposAS.ACAO_NENHUMA);
        Tabela_Decisao 
                [Estados.ESPERA_END.ordinal()]
                [Atomo.TokenType.END.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ESPERA_IF_FIM.ordinal(), 
                                null,
                                TiposAS.IF_END_WITHELSE);
        Tabela_Decisao 
                [Estados.ESPERA_IF_FIM.ordinal()]
                [Atomo.TokenType.IF.ordinal()] = 
                new Transicao(  Transicao.TipoTransicao.Estado, 
                                Estados.ACEITA.ordinal(), 
                                null,
                                TiposAS.ACAO_NENHUMA);
   
        
    }        

    
    
}
